Field trace

In mathematics, the field trace is a function defined with respect to a finite field extension L/K. It is a K-linear map from L to K. As an example, if L/K is a Galois extension and α is in L, then the trace of α is the sum of all the Galois conjugates of α, i.e.

\operatorname{Tr}_{L/K}(\alpha)=\sum_{g\in\operatorname{Gal}(L/K)}g(\alpha),

where Gal(L/K) denotes the Galois group of L/K.

For a general finite extension L/K, the trace of an element α can be defined as the trace of the K-linear map "multiplication by α", that is, the map from L to itself sending x to αx. If L/K is inseparable, then the trace map is identically 0.

When L/K is separable, a formula similar to the Galois case above can be obtained. If σ1, ..., σn are the distinct K-linear field embeddings of L into an algebraically closed field F containing K (where n is the degree of the extension L/K), then

\operatorname{Tr}_{L/K}(\alpha)=\sum_{j=1}^n\sigma_j(\alpha).

Properties of the trace

As mentioned above, the trace TrL/K : LK is a K-linear map. Additionally, it behaves well in towers of fields: if M is a finite extension of L, then the trace from M to K is just the composition of the trace from M to L with the trace from L to K, i.e.

\operatorname{Tr}_{M/K}=\operatorname{Tr}_{L/K}\circ\operatorname{Tr}_{M/L}.

When L/K is separable, the trace provides a duality theory via the trace form: the map from L × L to K sending (xy) to TrL/K(xy) is a nondegenerate, symmetric, bilinear form called the trace form. An example of where this is used is in algebraic number theory in the theory of the different ideal.

See also

References